1. Networked embedded sensing and control: workshop NESC'05: University of Notre Dame, USA, October 2005: proceedings
پدیدآورنده : Panos J. Antsaklis, Paulo Tabuada, ]eds.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Sensor networks,Access control - Congresses ، Computer networks
رده :
TK
7872
.
D48
W67
2005
2. Verification and control of hybrid systems: a symbolic approach
پدیدآورنده : Tabuada, Paulo
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Hybrid systems,Verification ، Computer systems,، Digital control systems,، Electronic books
رده :
QA
76
.
38
.
T33
